$R$$\mid$$P$($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$R$($x$,$y$) \& $P$($x$) \& $P$($y$)